Automated test scenario generation from termporal properties and behavioural models
Identifieur interne : 000F24 ( Main/Exploration ); précédent : 000F23; suivant : 000F25Automated test scenario generation from termporal properties and behavioural models
Auteurs : Kalou Cabrera Castillos [France]Source :
Descripteurs français
Abstract
In the work presented in this thesis, supported by the ANR TASCCC project, we propose a test generation technique using behavioral models in UML/OCL and temporal properties. To this end, we describe a temporal property langage based from the property patterns introduced by Dwyer et al. in [DAC99]. A property is a combination of a scope, representing the considered execution pathes in the system, and a pattern, a property that has to be satisfied inside the scope. We then give to each scope and pattern a specific automata-based semantics, called substitution automata. By combining a scope automaton with a pattern automaton, we obtain an automaton representing the semantics of the property. Next, we described nominal coverage criteria, based from classical coverage criteria over automata, specific to our property automata. These criteria focus on informations from the originating property, such as the property events, its scope and its pattern. We complemented this approach with another criterion that, by mutations over events held by certains transitions, aims at activating potentially faulty executions of the system by provoking forbidden events in the automata. We then described for each criterion an algorithm that aims at extracting pathes in the automata with respect to the considered criterion. These pathes are then translated to scenarios in an ad hoc langage that we defined. Finally, an unfolding process over these scenarios, with the help of driving commands embedded in the scenarios, allows the generation of abstract test cases. Finally, our approach has been validated on the study case presented in this document and on GlobalPlatform, an industrial-sized study case in the TASCCC project.
Url:
Affiliations:
- France
- Franche-Comté
- Belfort, Besançon
- Université de Bourgogne Franche-Comté, Université de Franche-Comté, Université de technologie de Belfort-Montbéliard
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 001089
- to stream Hal, to step Curation: 001089
- to stream Hal, to step Checkpoint: 000E24
- to stream Main, to step Merge: 000F34
- to stream Main, to step Curation: 000F24
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Automated test scenario generation from termporal properties and behavioural models</title>
<title xml:lang="fr">Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux</title>
<author><name sortKey="Cabrera Castillos, Kalou" sort="Cabrera Castillos, Kalou" uniqKey="Cabrera Castillos K" first="Kalou" last="Cabrera Castillos">Kalou Cabrera Castillos</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno>
<idno type="RNSR">200412232H</idno>
<orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName>
<orgName type="acronym">FEMTO-ST</orgName>
<desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.femto-st.fr</ref>
</desc>
<listRelation><relation active="#struct-242365" type="direct"></relation>
<relation active="#struct-300261" type="direct"></relation>
<relation active="#struct-300360" type="direct"></relation>
<relation name="UMR6174" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno>
<idno type="ISNI">0000 0001 2188 3779 </idno>
<orgName>Université de Franche-Comté</orgName>
<orgName type="acronym">UFC</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.univ-fcomte.fr</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300261" type="direct"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName>
<orgName type="acronym">UTBM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300360" type="direct"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName>
<orgName type="acronym">ENSMM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR6174" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de Franche-Comté</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName>
<placeName><settlement type="city" wicri:auto="siege">Belfort</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de technologie de Belfort-Montbéliard</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:tel-00924485</idno>
<idno type="halId">tel-00924485</idno>
<idno type="halUri">https://tel.archives-ouvertes.fr/tel-00924485</idno>
<idno type="url">https://tel.archives-ouvertes.fr/tel-00924485</idno>
<date when="2013-11-28">2013-11-28</date>
<idno type="wicri:Area/Hal/Corpus">001089</idno>
<idno type="wicri:Area/Hal/Curation">001089</idno>
<idno type="wicri:Area/Hal/Checkpoint">000E24</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000E24</idno>
<idno type="wicri:Area/Main/Merge">000F34</idno>
<idno type="wicri:Area/Main/Curation">000F24</idno>
<idno type="wicri:Area/Main/Exploration">000F24</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Automated test scenario generation from termporal properties and behavioural models</title>
<title xml:lang="fr">Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux</title>
<author><name sortKey="Cabrera Castillos, Kalou" sort="Cabrera Castillos, Kalou" uniqKey="Cabrera Castillos K" first="Kalou" last="Cabrera Castillos">Kalou Cabrera Castillos</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno>
<idno type="RNSR">200412232H</idno>
<orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName>
<orgName type="acronym">FEMTO-ST</orgName>
<desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.femto-st.fr</ref>
</desc>
<listRelation><relation active="#struct-242365" type="direct"></relation>
<relation active="#struct-300261" type="direct"></relation>
<relation active="#struct-300360" type="direct"></relation>
<relation name="UMR6174" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno>
<idno type="ISNI">0000 0001 2188 3779 </idno>
<orgName>Université de Franche-Comté</orgName>
<orgName type="acronym">UFC</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.univ-fcomte.fr</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300261" type="direct"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName>
<orgName type="acronym">UTBM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300360" type="direct"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName>
<orgName type="acronym">ENSMM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR6174" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de Franche-Comté</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName>
<placeName><settlement type="city" wicri:auto="siege">Belfort</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de technologie de Belfort-Montbéliard</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="fr"><term>UML/OCL</term>
<term>génération de tests</term>
<term>patrons de propriétés</term>
<term>scénarios</term>
</keywords>
<keywords scheme="mix" xml:lang="it"><term>test generation</term>
<term>test patterns</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">In the work presented in this thesis, supported by the ANR TASCCC project, we propose a test generation technique using behavioral models in UML/OCL and temporal properties. To this end, we describe a temporal property langage based from the property patterns introduced by Dwyer et al. in [DAC99]. A property is a combination of a scope, representing the considered execution pathes in the system, and a pattern, a property that has to be satisfied inside the scope. We then give to each scope and pattern a specific automata-based semantics, called substitution automata. By combining a scope automaton with a pattern automaton, we obtain an automaton representing the semantics of the property. Next, we described nominal coverage criteria, based from classical coverage criteria over automata, specific to our property automata. These criteria focus on informations from the originating property, such as the property events, its scope and its pattern. We complemented this approach with another criterion that, by mutations over events held by certains transitions, aims at activating potentially faulty executions of the system by provoking forbidden events in the automata. We then described for each criterion an algorithm that aims at extracting pathes in the automata with respect to the considered criterion. These pathes are then translated to scenarios in an ad hoc langage that we defined. Finally, an unfolding process over these scenarios, with the help of driving commands embedded in the scenarios, allows the generation of abstract test cases. Finally, our approach has been validated on the study case presented in this document and on GlobalPlatform, an industrial-sized study case in the TASCCC project.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Franche-Comté</li>
</region>
<settlement><li>Belfort</li>
<li>Besançon</li>
</settlement>
<orgName><li>Université de Bourgogne Franche-Comté</li>
<li>Université de Franche-Comté</li>
<li>Université de technologie de Belfort-Montbéliard</li>
</orgName>
</list>
<tree><country name="France"><region name="Franche-Comté"><name sortKey="Cabrera Castillos, Kalou" sort="Cabrera Castillos, Kalou" uniqKey="Cabrera Castillos K" first="Kalou" last="Cabrera Castillos">Kalou Cabrera Castillos</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000F24 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000F24 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= Hal:tel-00924485 |texte= Automated test scenario generation from termporal properties and behavioural models }}
This area was generated with Dilib version V0.6.33. |